POUR PDF - copie 2
نویسندگان
چکیده
We present the first self-stabilizing consensus and replicated state machine for asynchronous message passing systems. The scheme does not require that all participants make a certain number of steps prior to reaching a practically infinite execution where the replicated state machine exhibits the desired behavior. In other words, the system reaches a configuration from which it operates according to the specified requirements of the replicated state-machine, for a long enough execution regarding all practical considerations.
منابع مشابه
POUR PDF - copie 2
In this article we study proper labelings (or valuations) of the edges of a graph by integers, such that the sums of the values taken on the edges incident to each vertex ( the weight of this vertex) are all distinct. We look for the minimum of max(v) among the possible valuations v for some particular classes of graphs.
متن کاملCopie de POUR PDF
The communication infrastructure around us is a rich but fragmented environment made of separated services corresponding to different levels of engagement. The multiscale approach to communication proposes instead to create systems that support a variable degree of engagement and smooth transitions between degrees. This paper reports on the design and evaluation of such a system called Pêle-Mêl...
متن کاملCopie de POUR PDF
Facilitating the acquisition of small targets is an active area of research. Despite the usefulness of the techniques proposed so far, we show why this topic can benefit from more fundamental work. We investigate three factors that might account for the observed drop in performance when selecting small targets: motor accuracy, visual legibility and quantization. Our findings suggest that visual...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013